Correction to "Terminating prolongation procedures"
نویسندگان
چکیده
منابع مشابه
Terminating Minimal Model Generation Procedures for Propositional Modal Logics
Model generation and minimal model generation are useful for tasks such as model checking and for debugging of logical specifications. This paper presents terminating procedures for the generation of models minimal modulo subset-simulation for the modal logic K and all combinations of extensions with the axioms T, B, D, 4 and 5. Our procedures are minimal model sound and complete. Compared with...
متن کاملAttenuation Correction Procedures
The nondestructive assay (NDA) of nuclear material must deal with large sample sizes and high self-absorption. Typical containers range from 2-L bottles to 220-L drums, and even a small sample with a high concentration of nuclear material has significant self-attenuation. Although gamma-ray self-attenuation may frequently be ignored in the filter papers or small vials encountered in radiochemic...
متن کاملTerminating alternator
In this paper, we present an program that enables the transformation of a nonterminating alternator into a terminating alternator. Our solution is stabilization preserving and has the potential to preserve maximal concurrency (if available) provided by the non-terminating alternator. It can also be used to transform a program that is stabilizing in interleaving semantics into a program that is ...
متن کاملQT prolongation due to roxithromycin.
Roxithromycin and other macrolide antimicrobials are widely used for a broad variety of infections such as upper respiratory tract infection and community acquired pneumonia. Prolongation of the QT interval, torsade de pointes polymorphic ventricular tachycardia, and sudden death are well described but little known adverse reactions common to all macrolides. We report the case of a 72 year old ...
متن کاملTerminating BKZ
Strong lattice reduction is the key element for most attacks against lattice-based cryptosystems. Between the strongest but impractical HKZ reduction and the weak but fast LLL reduction, there have been several attempts to find efficient trade-offs. Among them, the BKZ algorithm introduced by Schnorr and Euchner [FCT’91] seems to achieve the best time/quality compromise in practice. However, no...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Pacific Journal of Mathematics
سال: 1961
ISSN: 0030-8730,0030-8730
DOI: 10.2140/pjm.1961.11.1571